Merge branch 'dfsg_clean'
authorJochen Sprickerhof <git@jochen.sprickerhof.de>
Thu, 9 Jul 2020 20:20:46 +0000 (22:20 +0200)
committerJochen Sprickerhof <git@jochen.sprickerhof.de>
Thu, 9 Jul 2020 20:20:46 +0000 (22:20 +0200)

Trivial merge